First normal form - PDFSEARCH.IO - Document Search Engine

First normal form
Results: 66

#	Item
31	MUS Extraction using Clausal Proofs Anton Belov1 , Marijn J. H. Heule2 and Joao Marques-Silva1,3 1 Complex and Adaptive Systems Laboratory, University College Dublin 2 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:41:50 Mathematics Propositional calculus Unsatisfiable core Conjunctive normal form Resolution Logic programming First-order logic Logic Mathematical logic Automated theorem proving
32	Payoff Information and Self-Confirming Equilibrium1 First version: April 25, 1995 This revision: July 12, 1999 Eddie Dekel Add to Reading List Source URL: levine.sscnet.ucla.edu Language: English - Date: 1999-07-12 13:09:31 Solution concept Nash equilibrium Outcome Rationalizability Normal-form game Strategic dominance Strategy Trembling hand perfect equilibrium Information set Game theory Extensive-form game Self-confirming equilibrium
33	When is Reputation Bad?1 Jeffrey Ely Drew Fudenberg David K. Levine2 First Version: April 22, 2002 This Version: November 20, 2005 Add to Reading List Source URL: levine.sscnet.ucla.edu Language: English - Date: 2005-11-21 14:01:27 Nash equilibrium Outcome Best response Normal-form game Repeated game Strategy Bayesian game Risk dominance Game theory Problem solving Extensive-form game
34	Efficient Extraction of Skolem Functions from QRAT Proofs Marijn J.H. Heule Martina Seidl and Armin Biere Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:58:16 Model theory Automated theorem proving Boolean algebra Metalogic First-order logic Function True quantified Boolean formula Skolem normal form Resolution Mathematics Logic Mathematical logic
35	Continuous Time Limits of Repeated Games with Imperfect Public Monitoring1 Drew Fudenberg and David K. Levine2 This version: [removed]First version: [removed] Add to Reading List Source URL: levine.sscnet.ucla.edu Language: English - Date: 2007-05-29 08:07:41 Outcome Strategy Normal-form game Repeated game Risk dominance Game theory Problem solving Nash equilibrium
36	PDF Document Add to Reading List Source URL: www.repairfaq.org Language: English - Date: 2013-01-01 08:49:58 First normal form IN2
37	PDF Document Add to Reading List Source URL: www.repairfaq.org Language: English - Date: 2013-01-01 08:49:58 IN2 R30 1K 10K C128 D121 First normal form
38	How To Handle Missing Information Without Using NULL Hugh Darwen [removed] www.TheThirdManifesto.com First presentation: 09 May 2003, Warwick University Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2006-09-27 07:59:48 Relational model First normal form Relational database Table Database design Database management system Database normalization Row Foreign key Data management Data modeling Null
39	A Characterization Result for Circumscribed Normal Logic Programs Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Circumscription has been perceived as an elegant mathematical technique for modelin Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:30:06 Formal languages Circumscription Logic programming Non-classical logic Conjunctive normal form Atomic formula Well-formed formula First-order logic Logic Mathematical logic Predicate logic
40	General Domain Circumscription and its First-Order Reduction Patrick Doherty1? , Witold L ukaszewicz2?? , Andrzej Szalas2??? 1 Department of Computer and Information Science, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:10:24 Mathematics Interpretation Function Circumscription Skolem normal form Predicate variable Second-order logic Mathematical logic Logic Model theory